Nuprl Definition : l-union-list
11,40
postcript
pdf
l-union-list(
eq
;
ll
) == list_accum(
as
,
bs
.l-union(
eq
;
as
;
bs
); [];
ll
)
latex
Definitions
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
,
l-union(
eq
;
as
;
bs
)
,
[]
FDL editor aliases
l-union-list
origin